[XEN] Use vcpu_info pointer in vcpu structure.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 31 Aug 2006 21:53:46 +0000 (22:53 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 31 Aug 2006 21:53:46 +0000 (22:53 +0100)
commit1a251c6632c6a5643ccdcffc3414fde38c60722d
tree69583dcd6cf792de48946a06fa69ac5d522a9de9
parent60d146799baead650fa0313dc7c8a53d88f9f1ca
[XEN] Use vcpu_info pointer in vcpu structure.
Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/time.c